Can the Airplane Be Made Safe?
نویسندگان
چکیده
منابع مشابه
Can C be safe?
Is it possible to achieve a safer software in C by limiting its use? As the C programming language still is very much alive, especially within the embedded and real-time community much effort has been put into the development of such standards. There are many well known problems in the ANSI/ISO C language specification with or without measurements of fault statistics. And there also exists seve...
متن کاملHow Can Java Be Made Blind-Friendly
The widely used and highly popular Java programming language is proved to be a great tool for developing platform independent applications. Everyday users mostly encounter them when using portable devices (mobile phones, PDAs, etc). However, the ordinary Java applications are inaccessible for the blind in general. Even the most used screen readers can only be enabled to handle GUI elements of a...
متن کاملTimed Automata Can Always Be Made Implementable
Timed automata follow a mathematical semantics, which assumes perfect precision and synchrony of clocks. Since this hypothesis does not hold in digital systems, properties proven formally on a timed automaton may be lost at implementation. In order to ensure implementability, several approaches have been considered, corresponding to different hypotheses on the implementation platform. We addres...
متن کاملCan Bohmian Mechanics Be Made Background Independent?
The paper presents an inquiry into the question regarding the compatibility of Bohmian mechanics, intended as a non-local theory of moving point-like particles, with background independence. This issue is worth being investigated because, if the Bohmian framework has to be of some help in developing new physics, it has to be compatible with the most wellestablished traits of modern physics, bac...
متن کاملThings that can be made into themselves
One says that a property P of sets of natural numbers can be made into itself iff there is a numbering α0, α1, . . . of all left-r.e. sets such that the index set {e : αe satisfies P} has the property P as well. For example, the property of being Martin-Löf random can be made into itself. Herein we characterize those singleton properties which can be made into themselves. A second direction of ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Scientific American
سال: 1921
ISSN: 0036-8733
DOI: 10.1038/scientificamerican1121-28